Reasoning about Self and Others: Communicating Agents in a Model Action Logic
نویسندگان
چکیده
We propose an approach to reasoning about conversation protocols within the framework of a logic-based agent language. We show how to embed a theory of communicative actions in the framework of a modal logic of action and beliefs, to specify software agents that, situated in a multi-agent environment, can interact with one another by a speech act based communication mechanism. Agents have their own local beliefs on the world and on the other agents mental state. Complex communicative behaviors can be specified as conversation protocols, and agents can reason on the belief dynamics caused by communications, before committing to a given interaction.
منابع مشابه
Reasoning about Self and Others: Communicating Agents in a Modal Action Logic
We propose an approach to reasoning about conversation protocols within the framework of a logic-based agent language. We show how to embed a theory of communicative actions in the framework of a modal logic of action and beliefs, to specify software agents that, situated in a multi-agent environment, can interact with one another by a speech act based communication mechanism. Agents have their...
متن کاملSyntactic Knowledge: A Logic of Reasoning, Communication and Cooperation
This paper presents a logic for reasoning about the explicit knowledge of agents who represent their knowledge as finite sets of logical formulae, and who can change their knowledge by reasoning and communicating. No assumptions about closure or consistency conditions on the sets, or about soundness or completeness of the reasoning mechanisms, are made. Traditional epistemic logic, based on mod...
متن کاملCommon-sense reasoning as proto-scientific agent activity
We wish to model common-sense reasoning in situations where it contains some of the ingredients typical of proto-scientific reasoning, with a view to future elaboration and proof of concept. To model this proto-scientific narrative, we employ the integrative formal computational machinery we have been developing and implementing for rational cooperative epistemic agents. In our logic-based fram...
متن کاملSpecial issue arising from the Third International Workshop on Computational Models of Scientific Reasoning and Applications
This special issue of the Journal of Applied Logic contains a selection of the papers presented at the Third International Workshop on Computational Models of Scientific Reasoning and Applications (III CMSRA), which was held on 14—15 September 2003 in Buenos Aires, Argentina, chaired by Claudio Delrieux. The CMSRA workshop series has provided an annual forum for bringing together practitioners ...
متن کاملThe effect of clinical exam on midwifery students` confidence in clinical skills
Introduction. The aim of medical education is to produce competent , caring physicians. Self-confidence is another attribute often considered desirable for physicians. Confidence is a key to developing the sense of quantity that has been long recognized as a desirable characteristics of physicians, and confidence has a subjective marker of competence, An analytic descriptive survey was carri...
متن کامل